ePMC

Benchmark
Model:polling v.1 (CTMC)
Parameter(s)N = 18, T = 16
Property:s1_before_s2 (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files polling.18.prism --model-input-type prism --property-input-files polling.props --property-input-names s1_before_s2 --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const T=16
Execution
Walltime:877.6498515605927s
Return code:0
Relative Error:0.0006166499447708633
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property s1_before_s2
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 17141 17140
build-model-states-explored 54351 37211
build-model-states-explored 94218 39867
build-model-states-explored 132870 38651
build-model-states-explored 175265 42396
build-model-states-explored 217109 41844
build-model-states-explored 256806 39697
build-model-states-explored 299784 42978
build-model-states-explored 343167 43383
build-model-states-explored 385366 42199
build-model-states-explored 426686 41320
build-model-states-explored 469377 42691
build-model-states-explored 517489 48112
build-model-states-explored 556443 38953
build-model-states-explored 601435 44993
build-model-states-explored 644908 43473
build-model-states-explored 686480 41572
build-model-states-explored 723551 37071
build-model-states-explored 774647 51096
build-model-states-explored 823686 49039
build-model-states-explored 870479 46793
build-model-states-explored 915529 45049
build-model-states-explored 959089 43560
build-model-states-explored 1000904 41816
build-model-states-explored 1041554 40650
build-model-states-explored 1079957 38403
build-model-states-explored 1129833 49876
build-model-states-explored 1176640 46807
build-model-states-explored 1223521 46881
build-model-states-explored 1267226 43705
build-model-states-explored 1311178 43951
build-model-states-explored 1353261 42083
build-model-states-explored 1392935 39675
build-model-states-explored 1447946 55010
build-model-states-explored 1499648 51703
build-model-states-explored 1549020 49372
build-model-states-explored 1586661 37641
build-model-states-explored 1632674 46013
build-model-states-explored 1676984 44310
build-model-states-explored 1719546 42562
build-model-states-explored 1759986 40439
build-model-states-explored 1810421 50435
build-model-states-explored 1863816 53395
build-model-states-explored 1914287 50472
build-model-states-explored 1962699 48411
build-model-states-explored 2009055 46357
build-model-states-explored 2053554 44498
build-model-states-explored 2096567 43014
build-model-states-explored 2114267 17700
build-model-states-explored 2154279 40012
build-model-states-explored 2207198 52919
build-model-states-explored 2260278 53080
build-model-states-explored 2310318 50040
build-model-states-explored 2358264 47946
build-model-states-explored 2403912 45647
build-model-states-explored 2448245 44333
build-model-states-explored 2490186 41942
build-model-states-explored 2530981 40795
build-model-states-explored 2577060 46079
build-model-states-explored 2631864 54804
build-model-states-explored 2682406 50542
build-model-states-explored 2730995 48589
build-model-states-explored 2777447 46451
build-model-states-explored 2818070 40623
build-model-states-explored 2861842 43771
build-model-states-explored 2903702 41861
build-model-states-explored 2943258 39556
build-model-states-explored 2997272 54013
build-model-states-explored 3050201 52928
build-model-states-explored 3100102 49902
build-model-states-explored 3147891 47789
build-model-states-explored 3193987 46096
build-model-states-explored 3238330 44343
build-model-states-explored 3263482 25152
build-model-states-explored 3305166 41684
build-model-states-explored 3345347 40181
build-model-states-explored 3402494 57147
build-model-states-explored 3454325 51831
build-model-states-explored 3503404 49079
build-model-states-explored 3550667 47262
build-model-states-explored 3596121 45455
build-model-states-explored 3639848 43727
build-model-states-explored 3682130 42282
build-model-states-explored 3721782 39652
build-model-states-explored 3772977 51195
build-model-states-explored 3826243 53266
build-model-states-explored 3875604 49361
build-model-states-explored 3923733 48129
build-model-states-explored 3969768 46035
build-model-states-explored 4014203 44435
build-model-states-explored 4057099 42896
build-model-states-explored 4098270 41171
build-model-states-explored 4142019 43749
build-model-states-explored 4194304 52285
build-model-states-explored 4194304 0
build-model-states-explored 4241528 47224
build-model-states-explored 4290408 48879
build-model-states-explored 4337466 47058
build-model-states-explored 4382843 45377
build-model-states-explored 4426624 43781
build-model-states-explored 4468702 42078
build-model-states-explored 4508634 39932
build-model-states-explored 4560039 51405
build-model-states-explored 4612984 52945
build-model-states-explored 4662840 49856
build-model-states-explored 4710831 47991
build-model-states-explored 4756853 46022
build-model-states-explored 4801074 44221
build-model-states-explored 4843725 42651
build-model-states-explored 4884640 40915
build-model-states-explored 4928913 44272
build-model-states-explored 4984033 55120
build-model-states-explored 5035064 51032
build-model-states-explored 5083664 48600
build-model-states-explored 5130244 46580
build-model-states-explored 5175202 44958
build-model-states-explored 5217503 42300
build-model-states-explored 5258994 41492
build-model-states-explored 5298750 39756
build-model-states-explored 5354264 55514
build-model-states-explored 5406434 52170
build-model-states-explored 5455647 49213
build-model-states-explored 5502748 47101
build-model-states-explored 5548292 45544
build-model-states-explored 5592009 43717
build-model-states-explored 5634062 42052
build-model-states-explored 5674894 40833
build-model-states-explored 5729381 54487
build-model-states-explored 5781687 52306
build-model-states-explored 5830974 49287
build-model-states-explored 5877434 46459
build-model-states-explored 5922946 45513
build-model-states-explored 5966786 43840
build-model-states-explored 6003043 36257
build-model-states-explored 6048391 45348
build-model-states-explored 6104851 56459
build-model-states-explored 6156476 51626
build-model-states-explored 6205369 48893
build-model-states-explored 6252427 47058
build-model-states-explored 6297902 45475
build-model-states-explored 6342494 44591
build-model-states-explored 6395743 53250
build-model-states-explored 6449177 53434
build-model-states-explored 6499470 50293
build-model-states-explored 6547675 48205
build-model-states-explored 6594201 46526
build-model-states-explored 6645837 51636
build-model-states-explored 6700782 54944
build-model-states-explored 6744287 43506
build-model-states-explored 6760345 16058
build-model-states-explored 6809592 49247
build-model-states-explored 6866036 56444
build-model-states-explored 6919237 53201
build-model-states-explored 6975040 55803
build-model-states-explored 7032033 56992
build-model-done 7077888 155
iterating
iterating-progress-unbounded 2 0.9966735995538938 1
iterating-progress-unbounded 9 4.2282597736783964 2
iterating-progress-unbounded 15 6.222543854690378 3
iterating-progress-unbounded 22 8.468510970743722 4
iterating-progress-unbounded 29 3.133640778703898 5
iterating-progress-unbounded 35 0.4936525532029203 6
iterating-progress-unbounded 42 0.29460262384995317 7
iterating-progress-unbounded 48 0.21919636746285154 8
iterating-progress-unbounded 55 0.16011369719636098 9
iterating-progress-unbounded 62 0.12769423084293605 10
iterating-progress-unbounded 68 0.1077718195371977 11
iterating-progress-unbounded 75 0.0882957506392632 12
iterating-progress-unbounded 82 0.07551244781702238 13
iterating-progress-unbounded 88 0.06547736593817091 14
iterating-progress-unbounded 95 0.05741187232980013 15
iterating-progress-unbounded 101 0.0516701290475245 16
iterating-progress-unbounded 108 0.04531987814628233 17
iterating-progress-unbounded 115 0.04069760779224396 18
iterating-progress-unbounded 121 0.03676078826626747 19
iterating-progress-unbounded 128 0.03337491210717157 20
iterating-progress-unbounded 135 0.030432955464292536 21
iterating-progress-unbounded 141 0.027862916718765906 22
iterating-progress-unbounded 148 0.025597831310843453 23
iterating-progress-unbounded 155 0.02332236020683226 24
iterating-progress-unbounded 161 0.021802678356142965 25
iterating-progress-unbounded 168 0.020200923540220496 26
iterating-progress-unbounded 174 0.01876159406692798 27
iterating-progress-unbounded 181 0.0174617311092184 28
iterating-progress-unbounded 188 0.016283289248403887 29
iterating-progress-unbounded 194 0.015212674252925974 30
iterating-progress-unbounded 201 0.01423562506358975 31
iterating-progress-unbounded 208 0.013221079707052137 32
iterating-progress-unbounded 214 0.012523419478885387 33
iterating-progress-unbounded 221 0.011770206644436386 34
iterating-progress-unbounded 228 0.01098242202660279 35
iterating-progress-unbounded 234 0.010436735192743359 36
iterating-progress-unbounded 241 0.0097637237887277 37
iterating-progress-unbounded 248 0.009221107970176138 38
iterating-progress-unbounded 254 0.008786774867041982 39
iterating-progress-unbounded 261 0.008248876048270128 40
iterating-progress-unbounded 268 0.007812665851104642 41
iterating-progress-unbounded 274 0.007405953472289567 42
iterating-progress-unbounded 281 0.00702633901022781 43
iterating-progress-unbounded 288 0.006671209090980886 44
iterating-progress-unbounded 294 0.006339164087462921 45
iterating-progress-unbounded 301 0.006027910419165487 46
iterating-progress-unbounded 308 0.00569572790373889 47
iterating-progress-unbounded 314 0.00546192091495787 48
iterating-progress-unbounded 321 0.0052042575962797195 49
iterating-progress-unbounded 327 0.004962041685901901 50
iterating-progress-unbounded 334 0.004733971636837618 51
iterating-progress-unbounded 341 0.00452290994154568 52
iterating-progress-unbounded 347 0.004372810781040754 53
iterating-progress-unbounded 354 0.004228724182738234 54
iterating-progress-unbounded 361 0.004071181339825139 55
iterating-progress-unbounded 367 0.003957774113018732 56
iterating-progress-unbounded 374 0.0038301864849087067 57
iterating-progress-unbounded 381 0.0036906455432919034 58
iterating-progress-unbounded 387 0.003589968711428206 59
iterating-progress-unbounded 394 0.003460854523094212 60
iterating-progress-unbounded 401 0.0033525190254333043 61
iterating-progress-unbounded 407 0.0032628246738333655 62
iterating-progress-unbounded 414 0.003147794212173418 63
iterating-progress-unbounded 421 0.0030510881931607764 64
iterating-progress-unbounded 427 0.0029709915512632435 65
iterating-progress-unbounded 434 0.002868171884430386 66
iterating-progress-unbounded 441 0.0027816039130454245 67
iterating-progress-unbounded 447 0.002698209589813313 68
iterating-progress-unbounded 454 0.0026177671044238853 69
iterating-progress-unbounded 461 0.0025401304869866166 70
iterating-progress-unbounded 467 0.0024734809728989113 71
iterating-progress-unbounded 474 0.0024124245777539916 72
iterating-progress-unbounded 480 0.0023531524594636822 73
iterating-progress-unbounded 487 0.0022956194750718426 74
iterating-progress-unbounded 494 0.0022396756546084985 75
iterating-progress-unbounded 500 0.002185404086451656 76
iterating-progress-unbounded 507 0.0021326316170818733 77
iterating-progress-unbounded 514 0.002074125971332665 78
iterating-progress-unbounded 520 0.002031497505036751 79
iterating-progress-unbounded 527 0.00198300266651256 80
iterating-progress-unbounded 534 0.0019292666993777983 81
iterating-progress-unbounded 540 0.0018900588724575802 82
iterating-progress-unbounded 547 0.0018454544707626338 83
iterating-progress-unbounded 554 0.0017960064145633773 84
iterating-progress-unbounded 560 0.0017598919199611424 85
iterating-progress-unbounded 567 0.0017130616588529233 86
iterating-progress-unbounded 574 0.0016732577106666371 87
iterating-progress-unbounded 580 0.0016399609076662 88
iterating-progress-unbounded 587 0.0015971500758115485 89
iterating-progress-unbounded 594 0.0015645847875481562 90
iterating-progress-unbounded 600 0.0015327814913359882 91
iterating-progress-unbounded 607 0.0015017288808818914 92
iterating-progress-unbounded 613 0.0014756567774920073 93
iterating-progress-unbounded 620 0.0014417271675298009 94
iterating-progress-unbounded 627 0.0014127519525993218 95
iterating-progress-unbounded 633 0.0013884300272490144 96
iterating-progress-unbounded 640 0.0013567643706647683 97
iterating-progress-unbounded 647 0.0013296973296831585 98
iterating-progress-unbounded 653 0.0013032623121309156 99
iterating-progress-unbounded 660 0.0012774105824728233 100
iterating-progress-unbounded 667 0.001252119698495333 101
iterating-progress-unbounded 673 0.0012274143133597757 102
iterating-progress-unbounded 680 0.0012032337618424443 103
iterating-progress-unbounded 687 0.0011762646037718396 104
iterating-progress-unbounded 693 0.0011564818459586096 105
iterating-progress-unbounded 700 0.0011338532719227382 106
iterating-progress-unbounded 707 0.0011086257712454282 107
iterating-progress-unbounded 713 0.0010901021834383382 108
iterating-progress-unbounded 720 0.0010669167995511217 109
iterating-progress-unbounded 727 0.001048087563103295 110
iterating-progress-unbounded 733 0.0010322243631322487 111
iterating-progress-unbounded 740 0.0010115068570456238 112
iterating-progress-unbounded 747 9.937469214238972E-4 113
iterating-progress-unbounded 753 9.787904655501687E-4 114
iterating-progress-unbounded 760 9.592511784145972E-4 115
iterating-progress-unbounded 767 9.42487664599358E-4 116
iterating-progress-unbounded 773 9.260607470664753E-4 117
iterating-progress-unbounded 780 9.099423692743166E-4 118
iterating-progress-unbounded 786 8.963598384223413E-4 119
iterating-progress-unbounded 793 8.786162202015287E-4 120
iterating-progress-unbounded 800 8.63390927983038E-4 121
iterating-progress-unbounded 806 8.484606758274729E-4 122
iterating-progress-unbounded 813 8.338131427806758E-4 123
iterating-progress-unbounded 820 8.19428468535318E-4 124
iterating-progress-unbounded 826 8.05331581435906E-4 125
iterating-progress-unbounded 833 7.914875948723234E-4 126
iterating-progress-unbounded 840 7.759853573944904E-4 127
iterating-progress-unbounded 846 7.645791171444581E-4 128
iterating-progress-unbounded 853 7.514882851254797E-4 129
iterating-progress-unbounded 860 7.373565887973094E-4 130
iterating-progress-unbounded 866 7.273515810283032E-4 131
iterating-progress-unbounded 873 7.158561682296637E-4 132
iterating-progress-unbounded 880 7.029690462832946E-4 133
iterating-progress-unbounded 886 6.93457324854608E-4 134
iterating-progress-unbounded 893 6.809965115802079E-4 135
iterating-progress-unbounded 900 6.70288370833969E-4 136
iterating-progress-unbounded 906 6.612453115181445E-4 137
iterating-progress-unbounded 913 6.49405272755074E-4 138
iterating-progress-unbounded 920 6.392206558676276E-4 139
iterating-progress-unbounded 926 6.292110965509079E-4 140
iterating-progress-unbounded 933 6.193691871545623E-4 141
iterating-progress-unbounded 939 6.110541084920811E-4 142
iterating-progress-unbounded 946 6.001686468330005E-4 143
iterating-progress-unbounded 953 5.908051225847308E-4 144
iterating-progress-unbounded 959 5.815976982136075E-4 145
iterating-progress-unbounded 966 5.725467392891397E-4 146
iterating-progress-unbounded 973 5.636352838648481E-4 147
iterating-progress-unbounded 979 5.548841685067387E-4 148
iterating-progress-unbounded 986 5.462712421541005E-4 149
iterating-progress-unbounded 993 5.367836353617353E-4 150
iterating-progress-unbounded 999 5.294708946679725E-4 151
iterating-progress-unbounded 1006 5.213086439225191E-4 152
iterating-progress-unbounded 1013 5.126761179765569E-4 153
iterating-progress-unbounded 1019 5.062994166814342E-4 154
iterating-progress-unbounded 1026 4.989577178140223E-4 155
iterating-progress-unbounded 1033 4.907133479076199E-4 156
iterating-progress-unbounded 1039 4.846177605477354E-4 157
iterating-progress-unbounded 1046 4.76614764550263E-4 158
iterating-progress-unbounded 1053 4.697265963012354E-4 159
iterating-progress-unbounded 1059 4.638979883184044E-4 160
iterating-progress-unbounded 1066 4.562555592618186E-4 161
iterating-progress-unbounded 1073 4.496701107121765E-4 162
iterating-progress-unbounded 1079 4.431840852256814E-4 163
iterating-progress-unbounded 1086 4.367982000082779E-4 164
iterating-progress-unbounded 1092 4.313951573787338E-4 165
iterating-progress-unbounded 1099 4.243068118413224E-4 166
iterating-progress-unbounded 1106 4.182011872469827E-4 167
iterating-progress-unbounded 1112 4.130382023978616E-4 168
iterating-progress-unbounded 1119 4.062639628914277E-4 169
iterating-progress-unbounded 1126 4.0042512827746253E-4 170
iterating-progress-unbounded 1132 3.9467930784057155E-4 171
iterating-progress-unbounded 1139 3.8901770614192024E-4 172
iterating-progress-unbounded 1146 3.8343735247736076E-4 173
iterating-progress-unbounded 1152 3.7794617294644443E-4 174
iterating-progress-unbounded 1159 3.7253204563962626E-4 175
iterating-progress-unbounded 1166 3.666277637659305E-4 176
iterating-progress-unbounded 1172 3.623663287493818E-4 177
iterating-progress-unbounded 1179 3.5745261098230237E-4 178
iterating-progress-unbounded 1185 3.526143440771378E-4 179
iterating-progress-unbounded 1192 3.4783907147856267E-4 180
iterating-progress-unbounded 1199 3.424613686954836E-4 181
iterating-progress-unbounded 1205 3.384861596035075E-4 182
iterating-progress-unbounded 1212 3.339030856091995E-4 183
iterating-progress-unbounded 1219 3.2874794066587956E-4 184
iterating-progress-unbounded 1225 3.249334527035092E-4 185
iterating-progress-unbounded 1232 3.2053774334156855E-4 186
iterating-progress-unbounded 1239 3.155933561367221E-4 187
iterating-progress-unbounded 1245 3.1193259668972395E-4 188
iterating-progress-unbounded 1252 3.0712214593280783E-4 189
iterating-progress-unbounded 1259 3.029748484437736E-4 190
iterating-progress-unbounded 1265 2.994625962970508E-4 191
iterating-progress-unbounded 1272 2.9485046427424485E-4 192
iterating-progress-unbounded 1279 2.9087057599995654E-4 193
iterating-progress-unbounded 1285 2.8694772101021986E-4 194
iterating-progress-unbounded 1292 2.8307944529226117E-4 195
iterating-progress-unbounded 1299 2.792610896936109E-4 196
iterating-progress-unbounded 1305 2.755005360936689E-4 197
iterating-progress-unbounded 1312 2.717888217177714E-4 198
iterating-progress-unbounded 1319 2.676104874658102E-4 199
iterating-progress-unbounded 1325 2.6452107554817615E-4 200
iterating-progress-unbounded 1332 2.6109326584531115E-4 201
iterating-progress-unbounded 1339 2.572651274442104E-4 202
iterating-progress-unbounded 1345 2.5442984099212167E-4 203
iterating-progress-unbounded 1352 2.5115964183338075E-4 204
iterating-progress-unbounded 1359 2.474776496951375E-4 205
iterating-progress-unbounded 1365 2.447489494122873E-4 206
iterating-progress-unbounded 1372 2.411600101257202E-4 207
iterating-progress-unbounded 1378 2.3850297523648505E-4 208
iterating-progress-unbounded 1385 2.354374858681362E-4 209
iterating-progress-unbounded 1392 2.3198704138827536E-4 210
iterating-progress-unbounded 1398 2.294303037193037E-4 211
iterating-progress-unbounded 1405 2.2606627485220802E-4 212
iterating-progress-unbounded 1412 2.2316422741139812E-4 213
iterating-progress-unbounded 1418 2.2070367298152561E-4 214
iterating-progress-unbounded 1425 2.1747071171647646E-4 215
iterating-progress-unbounded 1432 2.146785915414911E-4 216
iterating-progress-unbounded 1438 2.1192291469347794E-4 217
iterating-progress-unbounded 1445 2.0920422792598047E-4 218
iterating-progress-unbounded 1452 2.0651755771360295E-4 219
iterating-progress-unbounded 1458 2.0386991452970557E-4 220
iterating-progress-unbounded 1465 2.012546428129728E-4 221
iterating-progress-unbounded 1472 1.983068917624979E-4 222
iterating-progress-unbounded 1478 1.9612616433723493E-4 223
iterating-progress-unbounded 1485 1.9361014821614144E-4 224
iterating-progress-unbounded 1492 1.9077767878852815E-4 225
iterating-progress-unbounded 1498 1.8869284409910855E-4 226
iterating-progress-unbounded 1505 1.8636701897545898E-4 227
iterating-progress-unbounded 1512 1.8374713544885534E-4 228
iterating-progress-unbounded 1518 1.8180437934339912E-4 229
iterating-progress-unbounded 1525 1.792463510606022E-4 230
iterating-progress-unbounded 1532 1.7703791263408487E-4 231
iterating-progress-unbounded 1538 1.751641443373794E-4 232
iterating-progress-unbounded 1545 1.7270048069623815E-4 233
iterating-progress-unbounded 1551 1.7087385858344757E-4 234
iterating-progress-unbounded 1558 1.6846798019517004E-4 235
iterating-progress-unbounded 1565 1.6639164856871685E-4 236
iterating-progress-unbounded 1571 1.64630299201252E-4 237
iterating-progress-unbounded 1578 1.6231333136997554E-4 238
iterating-progress-unbounded 1585 1.6031171749945498E-4 239
iterating-progress-unbounded 1591 1.5861482712381362E-4 240
iterating-progress-unbounded 1598 1.5638248349095126E-4 241
iterating-progress-unbounded 1605 1.5445275687762876E-4 242
iterating-progress-unbounded 1611 1.5254879226929863E-4 243
iterating-progress-unbounded 1618 1.5066773245279224E-4 244
iterating-progress-unbounded 1625 1.488087094105962E-4 245
iterating-progress-unbounded 1631 1.4697468172953585E-4 246
iterating-progress-unbounded 1638 1.4516157174297747E-4 247
iterating-progress-unbounded 1644 1.433718642874913E-4 248
iterating-progress-unbounded 1651 1.4160450961460313E-4 249
iterating-progress-unbounded 1658 1.3985740329637434E-4 250
iterating-progress-unbounded 1664 1.3813433015287855E-4 251
iterating-progress-unbounded 1671 1.3643116536551453E-4 252
iterating-progress-unbounded 1678 1.3454486183196745E-4 253
iterating-progress-unbounded 1684 1.3316989010226716E-4 254
iterating-progress-unbounded 1691 1.3158148421834963E-4 255
iterating-progress-unbounded 1698 1.2979083648601375E-4 256
iterating-progress-unbounded 1704 1.2846307017851208E-4 257
iterating-progress-unbounded 1711 1.2692998546531806E-4 258
iterating-progress-unbounded 1718 1.2520177261452484E-4 259
iterating-progress-unbounded 1724 1.2391952815691878E-4 260
iterating-progress-unbounded 1731 1.222311596105626E-4 261
iterating-progress-unbounded 1738 1.2077234464061807E-4 262
iterating-progress-unbounded 1744 1.1953451950843888E-4 263
iterating-progress-unbounded 1751 1.1790585242490475E-4 264
iterating-progress-unbounded 1758 1.164973411287193E-4 265
iterating-progress-unbounded 1764 1.1510624350632622E-4 266
iterating-progress-unbounded 1771 1.137317542072803E-4 267
iterating-progress-unbounded 1778 1.1237223052310409E-4 268
iterating-progress-unbounded 1784 1.1103069501527894E-4 269
iterating-progress-unbounded 1791 1.097039025881725E-4 270
iterating-progress-unbounded 1797 1.0839300075893105E-4 271
iterating-progress-unbounded 1804 1.0709830557191522E-4 272
iterating-progress-unbounded 1811 1.0581743534069991E-4 273
iterating-progress-unbounded 1817 1.0455385009801076E-4 274
iterating-progress-unbounded 1824 1.0330434869991971E-4 275
iterating-progress-unbounded 1831 1.0192091415690644E-4 276
iterating-progress-unbounded 1837 1.0085016995852635E-4 277
iterating-progress-unbounded 1844 9.964419755749061E-5 278
iterating-progress-unbounded 1851 9.828502131864345E-5 279
iterating-progress-unbounded 1857 9.72774581206241E-5 280
iterating-progress-unbounded 1864 9.614301252100057E-5 281
iterating-progress-unbounded 1871 9.486875060090001E-5 282
iterating-progress-unbounded 1877 9.392302014914948E-5 283
iterating-progress-unbounded 1884 9.267673083219056E-5 284
iterating-progress-unbounded 1891 9.159980182167934E-5 285
iterating-progress-unbounded 1897 9.068534232916416E-5 286
iterating-progress-unbounded 1904 8.948202260869734E-5 287
iterating-progress-unbounded 1911 8.84410242021039E-5 288
iterating-progress-unbounded 1917 8.741202489652699E-5 289
iterating-progress-unbounded 1924 8.639529142573373E-5 290
iterating-progress-unbounded 1931 8.538893720848866E-5 291
iterating-progress-unbounded 1937 8.439573806926393E-5 292
iterating-progress-unbounded 1944 8.341315211167496E-5 293
iterating-progress-unbounded 1950 8.257950719107305E-5 294
iterating-progress-unbounded 1957 8.148192751207311E-5 295
iterating-progress-unbounded 1964 8.053227975305718E-5 296
iterating-progress-unbounded 1970 7.959455898536852E-5 297
iterating-progress-unbounded 1977 7.86673558885782E-5 298
iterating-progress-unbounded 1984 7.775025180920568E-5 299
iterating-progress-unbounded 1990 7.68447602302547E-5 300
iterating-progress-unbounded 1997 7.594884715583364E-5 301
iterating-progress-unbounded 2004 7.493824473585888E-5 302
iterating-progress-unbounded 2010 7.418906783364395E-5 303
iterating-progress-unbounded 2017 7.33236491589888E-5 304
iterating-progress-unbounded 2024 7.2348202659827E-5 305
iterating-progress-unbounded 2030 7.162444854765565E-5 306
iterating-progress-unbounded 2037 7.067092332755357E-5 307
iterating-progress-unbounded 2044 6.984719962754751E-5 308
iterating-progress-unbounded 2050 6.915535384847632E-5 309
iterating-progress-unbounded 2057 6.825714523009018E-5 310
iterating-progress-unbounded 2064 6.7480177458479E-5 311
iterating-progress-unbounded 2070 6.68207477132427E-5 312
iterating-progress-unbounded 2077 6.59522272810203E-5 313
iterating-progress-unbounded 2084 6.52004518413661E-5 314
iterating-progress-unbounded 2090 6.445785135720264E-5 315
iterating-progress-unbounded 2097 6.372330263274533E-5 316
iterating-progress-unbounded 2104 6.299647704648282E-5 317
iterating-progress-unbounded 2110 6.22785989363584E-5 318
iterating-progress-unbounded 2117 6.15680412781119E-5 319
iterating-progress-unbounded 2124 6.076621107789355E-5 320
iterating-progress-unbounded 2130 6.017158075614377E-5 321
iterating-progress-unbounded 2137 5.948444410783714E-5 322
iterating-progress-unbounded 2143 5.880599132776506E-5 323
iterating-progress-unbounded 2150 5.81345649051072E-5 324
iterating-progress-unbounded 2157 5.737662550657548E-5 325
iterating-progress-unbounded 2163 5.68147680261581E-5 326
iterating-progress-unbounded 2170 5.616535424244926E-5 327
iterating-progress-unbounded 2177 5.5433306196458036E-5 328
iterating-progress-unbounded 2183 5.489002794325E-5 329
iterating-progress-unbounded 2190 5.417378541303204E-5 330
iterating-progress-unbounded 2197 5.355503105839692E-5 331
iterating-progress-unbounded 2203 5.3029670261252984E-5 332
iterating-progress-unbounded 2210 5.233794269494967E-5 333
iterating-progress-unbounded 2217 5.1739752864007485E-5 334
iterating-progress-unbounded 2223 5.123217721517872E-5 335
iterating-progress-unbounded 2230 5.0563818459174976E-5 336
iterating-progress-unbounded 2237 4.998546043899116E-5 337
iterating-progress-unbounded 2243 4.941533861609761E-5 338
iterating-progress-unbounded 2250 4.886210054459401E-5 339
iterating-progress-unbounded 2257 4.8314357690514555E-5 340
iterating-progress-unbounded 2263 4.77733790036103E-5 341
iterating-progress-unbounded 2270 4.723783152545696E-5 342
iterating-progress-unbounded 2277 4.6633080669515365E-5 343
iterating-progress-unbounded 2283 4.6184645000465985E-5 344
iterating-progress-unbounded 2290 4.566617238612353E-5 345
iterating-progress-unbounded 2297 4.508154639482799E-5 346
iterating-progress-unbounded 2303 4.464753794840652E-5 347
iterating-progress-unbounded 2310 4.407517829611714E-5 348
iterating-progress-unbounded 2316 4.365091563920127E-5 349
iterating-progress-unbounded 2323 4.3160482921537456E-5 350
iterating-progress-unbounded 2330 4.2607213182018466E-5 351
iterating-progress-unbounded 2336 4.21966850470642E-5 352
iterating-progress-unbounded 2343 4.1722371779832124E-5 353
iterating-progress-unbounded 2350 4.118730900178892E-5 354
iterating-progress-unbounded 2356 4.07900438189351E-5 355
iterating-progress-unbounded 2363 4.026660045257491E-5 356
iterating-progress-unbounded 2370 3.981399406496289E-5 357
iterating-progress-unbounded 2376 3.9429699938061664E-5 358
iterating-progress-unbounded 2383 3.892372890488486E-5 359
iterating-progress-unbounded 2390 3.848582169151758E-5 360
iterating-progress-unbounded 2396 3.805303163462726E-5 361
iterating-progress-unbounded 2403 3.762511329156921E-5 362
iterating-progress-unbounded 2410 3.720155066705923E-5 363
iterating-progress-unbounded 2416 3.6783310444429126E-5 364
iterating-progress-unbounded 2423 3.636936969092131E-5 365
iterating-progress-unbounded 2429 3.600099753159366E-5 366
iterating-progress-unbounded 2436 3.555560520416164E-5 367
iterating-progress-unbounded 2443 3.515513688990743E-5 368
iterating-progress-unbounded 2449 3.476496038464843E-5 369
iterating-progress-unbounded 2456 3.4380423130413804E-5 370
iterating-progress-unbounded 2463 3.399978503665909E-5 371
iterating-progress-unbounded 2469 3.362369971105144E-5 372
iterating-progress-unbounded 2476 3.3251306572701074E-5 373
iterating-progress-unbounded 2483 3.283091459019265E-5 374
iterating-progress-unbounded 2489 3.251903953681507E-5 375
iterating-progress-unbounded 2496 3.215851636148493E-5 376
iterating-progress-unbounded 2503 3.17518486568683E-5 377
iterating-progress-unbounded 2509 3.144988057455879E-5 378
iterating-progress-unbounded 2516 3.105175344695407E-5 379
iterating-progress-unbounded 2523 3.070755122400179E-5 380
iterating-progress-unbounded 2529 3.041513885539762E-5 381
iterating-progress-unbounded 2536 3.003017837646352E-5 382
iterating-progress-unbounded 2543 2.969696693287333E-5 383
iterating-progress-unbounded 2549 2.9367432089607243E-5 384
iterating-progress-unbounded 2556 2.9041665513789113E-5 385
iterating-progress-unbounded 2562 2.8764966095403652E-5 386
iterating-progress-unbounded 2569 2.840050984372728E-5 387
iterating-progress-unbounded 2576 2.808520403071855E-5 388
iterating-progress-unbounded 2582 2.7817562434055754E-5 389
iterating-progress-unbounded 2589 2.7465010115749047E-5 390
iterating-progress-unbounded 2596 2.7159799492498597E-5 391
iterating-progress-unbounded 2602 2.6858270034399968E-5 392
iterating-progress-unbounded 2609 2.655996528708767E-5 393
iterating-progress-unbounded 2616 2.6264749983022417E-5 394
iterating-progress-unbounded 2622 2.597312455722596E-5 395
iterating-progress-unbounded 2629 2.5684424848313444E-5 396
iterating-progress-unbounded 2636 2.5358583574449625E-5 397
iterating-progress-unbounded 2642 2.5116901831579803E-5 398
iterating-progress-unbounded 2649 2.48375749151146E-5 399
iterating-progress-unbounded 2656 2.452505701988419E-5 400
iterating-progress-unbounded 2662 2.4294559838348187E-5 401
iterating-progress-unbounded 2669 2.399049678201208E-5 402
iterating-progress-unbounded 2676 2.372765563910127E-5 403
iterating-progress-unbounded 2682 2.350435718424882E-5 404
iterating-progress-unbounded 2689 2.321017894984278E-5 405
iterating-progress-unbounded 2696 2.295561438782946E-5 406
iterating-progress-unbounded 2702 2.2739488346844002E-5 407
iterating-progress-unbounded 2709 2.2454737783992613E-5 408
iterating-progress-unbounded 2715 2.2243254457979485E-5 409
iterating-progress-unbounded 2722 2.1964519087955195E-5 410
iterating-progress-unbounded 2729 2.1723426633326542E-5 411
iterating-progress-unbounded 2735 2.1518662392800542E-5 412
iterating-progress-unbounded 2742 2.12489879391177E-5 413
iterating-progress-unbounded 2749 2.1015511026020644E-5 414
iterating-progress-unbounded 2755 2.0784693344595207E-5 415
iterating-progress-unbounded 2762 2.0556404284972088E-5 416
iterating-progress-unbounded 2768 2.0362453432423172E-5 417
iterating-progress-unbounded 2775 2.0107103852953095E-5 418
iterating-progress-unbounded 2782 1.988606544842276E-5 419
iterating-progress-unbounded 2788 1.966745247492321E-5 420
iterating-progress-unbounded 2795 1.9451326260636916E-5 421
iterating-progress-unbounded 2801 1.9267741393412347E-5 422
iterating-progress-unbounded 2808 1.9025916510299438E-5 423
iterating-progress-unbounded 2815 1.881668865501809E-5 424
iterating-progress-unbounded 2821 1.8639077564343202E-5 425
iterating-progress-unbounded 2828 1.8405103007571755E-5 426
iterating-progress-unbounded 2835 1.8202530614567553E-5 427
iterating-progress-unbounded 2841 1.8002387507205294E-5 428
iterating-progress-unbounded 2848 1.7804369810839345E-5 429
iterating-progress-unbounded 2855 1.7608387248489973E-5 430
iterating-progress-unbounded 2861 1.7414773784589357E-5 431
iterating-progress-unbounded 2868 1.7223671948548596E-5 432
iterating-progress-unbounded 2874 1.703640105544534E-5 433
iterating-progress-unbounded 2881 1.6851220660945735E-5 434
iterating-progress-unbounded 2888 1.666777993034188E-5 435
iterating-progress-unbounded 2894 1.6486602369721795E-5 436
iterating-progress-unbounded 2901 1.63072150610938E-5 437
iterating-progress-unbounded 2908 1.6104515443576734E-5 438
iterating-progress-unbounded 2914 1.595421761455125E-5 439
iterating-progress-unbounded 2921 1.5780424063711245E-5 440
iterating-progress-unbounded 2928 1.558429791159722E-5 441
iterating-progress-unbounded 2934 1.5438723364869235E-5 442
iterating-progress-unbounded 2941 1.5270477252487446E-5 443
iterating-progress-unbounded 2948 1.5080618107974266E-5 444
iterating-progress-unbounded 2954 1.4939604973088844E-5 445
iterating-progress-unbounded 2961 1.4753742821335659E-5 446
iterating-progress-unbounded 2968 1.4592974569651803E-5 447
iterating-progress-unbounded 2974 1.4456425690822654E-5 448
iterating-progress-unbounded 2981 1.4276584137580539E-5 449
iterating-progress-unbounded 2988 1.4120874549710249E-5 450
iterating-progress-unbounded 2994 1.3966931805255048E-5 451
iterating-progress-unbounded 3001 1.3814668669343942E-5 452
iterating-progress-unbounded 3007 1.368530204497155E-5 453
iterating-progress-unbounded 3014 1.3514974688587078E-5 454
iterating-progress-unbounded 3021 1.33675258175466E-5 455
iterating-progress-unbounded 3027 1.322918952604332E-5 456
iterating-progress-unbounded 3034 1.3077500557884612E-5 457
iterating-progress-unbounded 3041 1.2934692768016111E-5 458
iterating-progress-unbounded 3047 1.2793668249013895E-5 459
iterating-progress-unbounded 3054 1.265406016332401E-5 460
iterating-progress-unbounded 3061 1.2511089142045587E-5 461
iterating-progress-unbounded 3067 1.2379404010272065E-5 462
iterating-progress-unbounded 3074 1.2244212337779573E-5 463
iterating-progress-unbounded 3081 1.2091672004888202E-5 464
iterating-progress-unbounded 3087 1.197920975417971E-5 465
iterating-progress-unbounded 3094 1.1849634063329976E-5 466
iterating-progress-unbounded 3101 1.1703438780734944E-5 467
iterating-progress-unbounded 3107 1.1594855291896261E-5 468
iterating-progress-unbounded 3114 1.145165993088201E-5 469
iterating-progress-unbounded 3120 1.134544468058121E-5 470
iterating-progress-unbounded 3127 1.1222601840879483E-5 471
iterating-progress-unbounded 3134 1.108404027287668E-5 472
iterating-progress-unbounded 3140 1.0981141406518363E-5 473
iterating-progress-unbounded 3147 1.0845395287640863E-5 474
iterating-progress-unbounded 3154 1.0728047025797188E-5 475
iterating-progress-unbounded 3160 1.0628348086345313E-5 476
iterating-progress-unbounded 3167 1.0496996445902931E-5 477
iterating-progress-unbounded 3174 1.0383325731832802E-5 478
iterating-progress-unbounded 3180 1.028681353946197E-5 479
iterating-progress-unbounded 3187 1.0159649891986669E-5 480
iterating-progress-unbounded 3194 1.0049528006660638E-5 481
iterating-progress-unbounded 3200 9.94070585213306E-6 482
iterating-progress-unbounded 3207 9.83301712503719E-6 483
iterating-progress-unbounded 3214 9.726412654880679E-6 484
iterating-progress-unbounded 3220 9.62107652757676E-6 485
iterating-progress-unbounded 3227 9.516765907530208E-6 486
iterating-progress-unbounded 3233 9.413635400572136E-6 487
iterating-progress-unbounded 3240 9.31162645252317E-6 488
iterating-progress-unbounded 3247 9.210614104639993E-6 489
iterating-progress-unbounded 3253 9.110834245071967E-6 490
iterating-progress-unbounded 3260 9.01203888634193E-6 491
iterating-progress-unbounded 3267 8.900456273452317E-6 492
iterating-progress-unbounded 3273 8.817700851525478E-6 493
iterating-progress-unbounded 3280 8.722002638313222E-6 494
iterating-progress-unbounded 3287 8.614073393518059E-6 495
iterating-progress-unbounded 3293 8.53393335620319E-6 496
iterating-progress-unbounded 3300 8.441212340395366E-6 497
iterating-progress-unbounded 3307 8.337559627084816E-6 498
iterating-progress-unbounded 3313 8.260562481836902E-6 499
iterating-progress-unbounded 3320 8.159062413474026E-6 500
iterating-progress-unbounded 3327 8.071252489886091E-6 501
iterating-progress-unbounded 3333 7.996660180180559E-6 502
iterating-progress-unbounded 3340 7.898405100576308E-6 503
iterating-progress-unbounded 3347 7.81332001925347E-6 504
iterating-progress-unbounded 3353 7.7291881334476E-6 505
iterating-progress-unbounded 3360 7.645961696857676E-6 506
iterating-progress-unbounded 3366 7.575239637632964E-6 507
iterating-progress-unbounded 3373 7.48211228356361E-6 508
iterating-progress-unbounded 3380 7.401479912565162E-6 509
iterating-progress-unbounded 3386 7.321715863101693E-6 510
iterating-progress-unbounded 3393 7.242843188831905E-6 511
iterating-progress-unbounded 3400 7.164711731877614E-6 512
iterating-progress-unbounded 3406 7.087544813632909E-6 513
iterating-progress-unbounded 3413 7.0111403082274815E-6 514
iterating-progress-unbounded 3420 6.927500986620429E-6 515
iterating-progress-unbounded 3426 6.860791018767734E-6 516
iterating-progress-unbounded 3433 6.786767500713954E-6 517
iterating-progress-unbounded 3440 6.703231077020856E-6 518
iterating-progress-unbounded 3446 6.6412251972201005E-6 519
iterating-progress-unbounded 3453 6.569561148386442E-6 520
iterating-progress-unbounded 3460 6.488689612527287E-6 521
iterating-progress-unbounded 3466 6.428622558150855E-6 522
iterating-progress-unbounded 3473 6.349449267835048E-6 523
iterating-progress-unbounded 3480 6.2809632115693325E-6 524
iterating-progress-unbounded 3486 6.222792332240016E-6 525
iterating-progress-unbounded 3493 6.146176167909766E-6 526
iterating-progress-unbounded 3499 6.08927731056223E-6 527
iterating-progress-unbounded 3506 6.014249139095486E-6 528
iterating-progress-unbounded 3513 5.949373450266353E-6 529
iterating-progress-unbounded 3519 5.894338414532893E-6 530
iterating-progress-unbounded 3526 5.822199403787234E-6 531
iterating-progress-unbounded 3533 5.7597634866416116E-6 532
iterating-progress-unbounded 3539 5.706746689489863E-6 533
iterating-progress-unbounded 3546 5.6368850790145715E-6 534
iterating-progress-unbounded 3553 5.576378260262906E-6 535
iterating-progress-unbounded 3559 5.516579312869876E-6 536
iterating-progress-unbounded 3566 5.457396388764158E-6 537
iterating-progress-unbounded 3572 5.40712198550933E-6 538
iterating-progress-unbounded 3579 5.340899279464494E-6 539
iterating-progress-unbounded 3586 5.28355284522121E-6 540
iterating-progress-unbounded 3592 5.2268487569837355E-6 541
iterating-progress-unbounded 3599 5.170754761499106E-6 542
iterating-progress-unbounded 3606 5.115201778539722E-6 543
iterating-progress-unbounded 3612 5.0603205734252584E-6 544
iterating-progress-unbounded 3619 5.00597395725867E-6 545
iterating-progress-unbounded 3626 4.9445852260812775E-6 546
iterating-progress-unbounded 3632 4.8990507034532395E-6 547
iterating-progress-unbounded 3639 4.846388170416434E-6 548
iterating-progress-unbounded 3646 4.786987687321761E-6 549
iterating-progress-unbounded 3652 4.742875638262397E-6 550
iterating-progress-unbounded 3659 4.688687046762935E-6 551
iterating-progress-unbounded 3666 4.634375703306992E-6 552
iterating-progress-unbounded 3672 4.591635025391299E-6 553
iterating-progress-unbounded 3679 4.5353246812795E-6 554
iterating-progress-unbounded 3686 4.486593521645164E-6 555
iterating-progress-unbounded 3692 4.445217680251458E-6 556
iterating-progress-unbounded 3699 4.390700613117209E-6 557
iterating-progress-unbounded 3706 4.3434884584902934E-6 558
iterating-progress-unbounded 3712 4.296832727561423E-6 559
iterating-progress-unbounded 3719 4.250661804287428E-6 560
iterating-progress-unbounded 3725 4.211444057666099E-6 561
iterating-progress-unbounded 3732 4.159789740177064E-6 562
iterating-progress-unbounded 3739 4.1152472299526445E-6 563
iterating-progress-unbounded 3745 4.0712334330481925E-6 564
iterating-progress-unbounded 3752 4.0277081587039154E-6 565
iterating-progress-unbounded 3759 3.984588133714242E-6 566
iterating-progress-unbounded 3765 3.941997325665614E-6 567
iterating-progress-unbounded 3772 3.899823643640886E-6 568
iterating-progress-unbounded 3779 3.852854557750386E-6 569
iterating-progress-unbounded 3785 3.816823562782711E-6 570
iterating-progress-unbounded 3792 3.775953582087841E-6 571
iterating-progress-unbounded 3799 3.729827297964965E-6 572
iterating-progress-unbounded 3805 3.695586447628857E-6 573
iterating-progress-unbounded 3812 3.6560087629789342E-6 574
iterating-progress-unbounded 3819 3.611342076477336E-6 575
iterating-progress-unbounded 3825 3.5781628443026468E-6 576
iterating-progress-unbounded 3832 3.534426073754661E-6 577
iterating-progress-unbounded 3838 3.501972507677625E-6 578
iterating-progress-unbounded 3845 3.4644485744745807E-6 579
iterating-progress-unbounded 3852 3.4221126914512994E-6 580
iterating-progress-unbounded 3858 3.390668880029294E-6 581
iterating-progress-unbounded 3865 3.349202439296664E-6 582
iterating-progress-unbounded 3872 3.313343420964355E-6 583
iterating-progress-unbounded 3878 3.2828721564445874E-6 584
iterating-progress-unbounded 3885 3.242747754406415E-6 585
iterating-progress-unbounded 3892 3.2080069088491303E-6 586
iterating-progress-unbounded 3898 3.1773668140788596E-6 587
iterating-progress-unbounded 3905 3.1396575295961543E-6 588
iterating-progress-unbounded 3912 3.105993943771291E-6 589
iterating-progress-unbounded 3918 3.072745892949087E-6 590
iterating-progress-unbounded 3925 3.0398259759229046E-6 591
iterating-progress-unbounded 3932 3.006885153721269E-6 592
iterating-progress-unbounded 3938 2.975044826762027E-6 593
iterating-progress-unbounded 3945 2.94314946656016E-6 594
iterating-progress-unbounded 3952 2.9072125470448616E-6 595
iterating-progress-unbounded 3958 2.8806044509727947E-6 596
iterating-progress-unbounded 3965 2.8498376148703616E-6 597
iterating-progress-unbounded 3971 2.819441220154471E-6 598
iterating-progress-unbounded 3978 2.789338986452482E-6 599
iterating-progress-unbounded 3985 2.755333970921067E-6 600
iterating-progress-unbounded 3991 2.7301095425186734E-6 601
iterating-progress-unbounded 3998 2.700934595992624E-6 602
iterating-progress-unbounded 4005 2.6680248210273463E-6 603
iterating-progress-unbounded 4011 2.6435836594537455E-6 604
iterating-progress-unbounded 4018 2.6129987486431317E-6 605
iterating-progress-unbounded 4025 2.583461218608534E-6 606
iterating-progress-unbounded 4031 2.559775103777331E-6 607
iterating-progress-unbounded 4038 2.5285669673108903E-6 608
iterating-progress-unbounded 4045 2.5015572940523587E-6 609
iterating-progress-unbounded 4051 2.478622832986871E-6 610
iterating-progress-unbounded 4058 2.4484022721897967E-6 611
iterating-progress-unbounded 4065 2.422228925769883E-6 612
iterating-progress-unbounded 4071 2.396362317417084E-6 613
iterating-progress-unbounded 4078 2.370762606139813E-6 614
iterating-progress-unbounded 4085 2.345417958657094E-6 615
iterating-progress-unbounded 4091 2.320372558416276E-6 616
iterating-progress-unbounded 4098 2.295568146223722E-6 617
iterating-progress-unbounded 4105 2.2675611175987125E-6 618
iterating-progress-unbounded 4111 2.2467795369199092E-6 619
iterating-progress-unbounded 4118 2.222751319475075E-6 620
iterating-progress-unbounded 4125 2.1956420536405663E-6 621
iterating-progress-unbounded 4131 2.175507506250704E-6 622
iterating-progress-unbounded 4138 2.149208783163165E-6 623
iterating-progress-unbounded 4144 2.1292603717943518E-6 624
iterating-progress-unbounded 4151 2.1064822286838508E-6 625
iterating-progress-unbounded 4158 2.080789650389676E-6 626
iterating-progress-unbounded 4164 2.0617095976207223E-6 627
iterating-progress-unbounded 4171 2.0397266595078763E-6 628
iterating-progress-unbounded 4178 2.0149198286031915E-6 629
iterating-progress-unbounded 4184 1.9964919940676574E-6 630
iterating-progress-unbounded 4191 1.9721994559338112E-6 631
iterating-progress-unbounded 4198 1.951182948076797E-6 632
iterating-progress-unbounded 4204 1.9333294270555276E-6 633
iterating-progress-unbounded 4211 1.909811776308905E-6 634
iterating-progress-unbounded 4218 1.8894455764468639E-6 635
iterating-progress-unbounded 4224 1.8693068687916772E-6 636
iterating-progress-unbounded 4231 1.8493841481517916E-6 637
iterating-progress-unbounded 4238 1.8296527428994585E-6 638
iterating-progress-unbounded 4244 1.8101593007547125E-6 639
iterating-progress-unbounded 4251 1.790854865491564E-6 640
iterating-progress-unbounded 4258 1.76904800588841E-6 641
iterating-progress-unbounded 4264 1.7528722720854485E-6 642
iterating-progress-unbounded 4271 1.7341634456629703E-6 643
iterating-progress-unbounded 4278 1.7130599686615247E-6 644
iterating-progress-unbounded 4284 1.6973872297848101E-6 645
iterating-progress-unbounded 4291 1.6786017446709652E-6 646
iterating-progress-unbounded 4298 1.6588348537295387E-6 647
iterating-progress-unbounded 4304 1.643646847286813E-6 648
iterating-progress-unbounded 4311 1.6236358014702945E-6 649
iterating-progress-unbounded 4317 1.6087811945394962E-6 650
iterating-progress-unbounded 4324 1.59161145217428E-6 651
iterating-progress-unbounded 4331 1.5722341891925433E-6 652
iterating-progress-unbounded 4337 1.5578404651759822E-6 653
iterating-progress-unbounded 4344 1.5388668092833092E-6 654
iterating-progress-unbounded 4351 1.5224527459278696E-6 655
iterating-progress-unbounded 4357 1.5085096305238037E-6 656
iterating-progress-unbounded 4364 1.490143805144645E-6 657
iterating-progress-unbounded 4371 1.4742398733840705E-6 658
iterating-progress-unbounded 4377 1.4594417569989483E-6 659
iterating-progress-unbounded 4384 1.4429832128466688E-6 660
iterating-progress-unbounded 4391 1.4276121481419372E-6 661
iterating-progress-unbounded 4397 1.4124296443570985E-6 662
iterating-progress-unbounded 4404 1.3973956072136795E-6 663
iterating-progress-unbounded 4410 1.3846294847573864E-6 664
iterating-progress-unbounded 4417 1.3678071416618546E-6 665
iterating-progress-unbounded 4424 1.353237097562574E-6 666
iterating-progress-unbounded 4430 1.3388373378899856E-6 667
iterating-progress-unbounded 4437 1.324585630995075E-6 668
iterating-progress-unbounded 4444 1.3104753746177164E-6 669
iterating-progress-unbounded 4450 1.296531244183443E-6 670
iterating-progress-unbounded 4457 1.2827207216022643E-6 671
iterating-progress-unbounded 4464 1.2671264372626088E-6 672
iterating-progress-unbounded 4470 1.2555548227779253E-6 673
iterating-progress-unbounded 4477 1.2421748835582534E-6 674
iterating-progress-unbounded 4484 1.2270786935881233E-6 675
iterating-progress-unbounded 4490 1.2158659898201473E-6 676
iterating-progress-unbounded 4497 1.2011905335533271E-6 677
iterating-progress-unbounded 4504 1.1882906680327088E-6 678
iterating-progress-unbounded 4510 1.1774235231414831E-6 679
iterating-progress-unbounded 4517 1.1631132515261676E-6 680
iterating-progress-unbounded 4524 1.1507224163109181E-6 681
iterating-progress-unbounded 4530 1.1399453871990492E-6 682
iterating-progress-unbounded 4537 1.1263430539676472E-6 683
iterating-progress-unbounded 4544 1.1143348123352746E-6 684
iterating-progress-unbounded 4550 1.1024743265736017E-6 685
iterating-progress-unbounded 4557 1.0907302925234149E-6 686
iterating-progress-unbounded 4563 1.0807582304744695E-6 687
iterating-progress-unbounded 4570 1.0676181988195038E-6 688
iterating-progress-unbounded 4577 1.056237919900844E-6 689
iterating-progress-unbounded 4583 1.044991045095733E-6 690
iterating-progress-unbounded 4590 1.0338602129523753E-6 691
iterating-progress-unbounded 4597 1.0228412815973896E-6 692
iterating-progress-unbounded 4603 1.0119735110202468E-6 693
iterating-progress-unbounded 4610 1.0012108357194383E-6 694
iterating-done 4612 694
model-checking-done 876
command-check-result-is 0.5386748833476658 s1_before_s2